<html>
<head><meta charset="utf-8"><title>Procedure documentation of the WG · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html">Procedure documentation of the WG</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="203535210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203535210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203535210">(Jul 10 2020 at 17:27)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> hey, with <span class="user-mention" data-user-id="250987">@apiraino</span>, we were working on a better and more complete version of our procedure</p>



<a name="203535228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203535228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203535228">(Jul 10 2020 at 17:27)</a>:</h4>
<p>We come up with <a href="https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA">https://hackmd.io/WJ0G17DHTHGgv0OW9I2PxA</a></p>



<a name="203535268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203535268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203535268">(Jul 10 2020 at 17:27)</a>:</h4>
<p>please check it out and feel free to fix mistakes, see if you really understand it and make all the suggestions you want</p>



<a name="203535350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203535350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203535350">(Jul 10 2020 at 17:28)</a>:</h4>
<p>I may have not done a great job explaining some things, so do not hesitate to point out where explanations are not great</p>



<a name="203558118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203558118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203558118">(Jul 10 2020 at 21:09)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span>, <span class="user-mention" data-user-id="250987">@apiraino</span> have just force pushed this to the existing PR, I think it's ready to be merged but if someone wants to give that it read and try to see if everything makes sense would be great</p>



<a name="203558128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203558128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203558128">(Jul 10 2020 at 21:10)</a>:</h4>
<p>The PR is <a href="https://github.com/rust-lang/rust-forge/issues/395">forge#395</a></p>



<a name="203594601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203594601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203594601">(Jul 11 2020 at 12:27)</a>:</h4>
<p><span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>  once also the pr describing <a href="https://github.com/rust-lang/rust-forge/pull/390">priority levels</a> will be merged, do you see other missing bits  to the issue about describing <a href="https://github.com/rust-lang/compiler-team-prioritization/issues/6">the prioritization procedure</a>?</p>
<p>I had a look "around", also went back to old revisions of this document <a href="https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?view">https://hackmd.io/P3yvagSSS7yAI2QxhLfPtQ?view</a> when it contained "todo" items. My understanding is that all items in that list should be more or less now documented</p>



<a name="203717022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717022">(Jul 13 2020 at 13:52)</a>:</h4>
<p><span class="user-mention" data-user-id="250987">@apiraino</span> right, everything is documented now</p>



<a name="203717037"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717037" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717037">(Jul 13 2020 at 13:52)</a>:</h4>
<p>and btw, I've killed most of our hackmd documents</p>



<a name="203717050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717050">(Jul 13 2020 at 13:52)</a>:</h4>
<p>now our landing page is <a href="https://github.com/rust-lang/compiler-team-prioritization/">https://github.com/rust-lang/compiler-team-prioritization/</a></p>



<a name="203717087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717087">(Jul 13 2020 at 13:53)</a>:</h4>
<p>the README of that repo represents what it was our master document</p>



<a name="203717116"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717116" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717116">(Jul 13 2020 at 13:53)</a>:</h4>
<p>from there you can find a link to a procedure that now lives on forge</p>



<a name="203717152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717152">(Jul 13 2020 at 13:53)</a>:</h4>
<p>and also a link to our checkins document which has all the status updates from the working group</p>



<a name="203717204"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717204" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717204">(Jul 13 2020 at 13:54)</a>:</h4>
<p>btw, we should probably add all this stuff to the checkin document :)</p>



<a name="203717221"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203717221" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203717221">(Jul 13 2020 at 13:54)</a>:</h4>
<p>I meant, the progress made about documentation</p>



<a name="203718508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203718508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203718508">(Jul 13 2020 at 14:04)</a>:</h4>
<p>what are the "check-ins" documents for? Kind of a changelog/history?</p>



<a name="203718610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203718610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203718610">(Jul 13 2020 at 14:05)</a>:</h4>
<p>btw I find the documentation to be more tidy and easily discoverable <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span></p>



<a name="203718703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203718703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203718703">(Jul 13 2020 at 14:06)</a>:</h4>
<p>during compiler meetings working groups give some kind of status update, the check-ins document contains all the relevant news for that meeting</p>



<a name="203718778"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/203718778" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#203718778">(Jul 13 2020 at 14:07)</a>:</h4>
<p>you will find there old check-ins that we've shared in compiler meetings and where it says current, you will find what is going to be our next check-in</p>



<a name="204368190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204368190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204368190">(Jul 19 2020 at 19:51)</a>:</h4>
<p>I'd gently nudge for updates about this pr detailing the <a href="https://github.com/rust-lang/rust-forge/pull/390">priority levels</a>, following the <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/2020-07-07.20Steering.20meeting/near/203239764">last update</a> I could find about it.<br>
<span class="user-mention" data-user-id="218578">@o0Ignition0o - Jeremy Lempereur</span> Maybe could use some help from me? Some comments are actionable and straightforward also for me, other needs perhaps more context</p>



<a name="204368321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204368321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204368321">(Jul 19 2020 at 19:55)</a>:</h4>
<p>oh i m super sorry, i ve had quite a bit on my plate lately <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span>  so yeah some comments do need a bit more context, but let me address the straightforward ones right now!</p>



<a name="204368482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204368482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204368482">(Jul 19 2020 at 19:59)</a>:</h4>
<p>Looks like i would actually need to rebase against master to push it forward, let s do this</p>



<a name="204368596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204368596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204368596">(Jul 19 2020 at 20:01)</a>:</h4>
<p>no worries ;-) (I'm just clicking things around <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span> )</p>



<a name="204369130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204369130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> o0Ignition0o - Jeremy Lempereur <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204369130">(Jul 19 2020 at 20:16)</a>:</h4>
<p>Ok so I adressed most of the issues i think i could. I however am not really sure of what I should do with the rest of them, <span class="user-mention" data-user-id="250987">@apiraino</span> <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> would you mind giving me a hint please ? <span aria-label="blush" class="emoji emoji-1f60a" role="img" title="blush">:blush:</span></p>



<a name="204369385"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204369385" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> apiraino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204369385">(Jul 19 2020 at 20:25)</a>:</h4>
<p>nicely done. I'd say if some comments on that issue are unresolved perhaps we could briefly mention them during the next meeting when everyone is there and swiftly sort them out</p>



<a name="204471258"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/Procedure%20documentation%20of%20the%20WG/near/204471258" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/Procedure.20documentation.20of.20the.20WG.html#204471258">(Jul 20 2020 at 20:22)</a>:</h4>
<p>I've made a couple of comments</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>